\begin{tabbing}
(\=$\backslash$\=p. \+\+
\\[0ex]((Thin (get\_int\_arg `i` p)) 
\-\\[0ex]CollapseTHEN (D 0))$\cdot$ p)
\-
\end{tabbing}